1. Algorithms and complexity ; new directions and recet results
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses
رده :
QA
76
.
6
.
S9195
1976
2. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(
پدیدآورنده: edited by J. F. Traub
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing
رده :
QA
76
.
6
.
S919
1976
3. An Introduction to computational science and mathematics
پدیدآورنده: / Charles Van Loan
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computer science - Mathematics,Electronic digital computers--Programming
رده :
QA
76
.
9
.
M35V37
4. An introduction to programming with specifications : a mathematical approach
پدیدآورنده: Kubiak, Ryszard
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Programming )Mathematics(
رده :
QA
76
.
6
.
K82
1991
5. Applications of generalized nets
پدیدآورنده: editor, Krassimir T. Atanassov
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming , Nets )Mathematics(
رده :
QA
76
.
6
.
A655
1993
6. Calculating with Fortran
پدیدآورنده: Manifold, George O.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
73
.
F25
.
M35
8. Category theory and computer science
پدیدآورنده: / D.H. Pitt, A. Poigne, D.E. Rydeheard (eds.)
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
.
6
.
C388
1987
9. Category theory and computer science
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Electronic digital computers- Programming- Congresses►Categories (Mathematics)- Congresses
رده :
QA
76
.
6
.
C38
1989
10. Category theory and computer science
پدیدآورنده: / D.H. Pitt ... (et al.) (ed.)
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Categories (Mathematics) -- Congresses
رده :
QA
76
.
6
.
C3882
1989
11. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده: D.H. Pitt ... )et al.( )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
389
12. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده: / D.H. Pitt ... (et al.) (ed.)
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
.
6
.
C3882
1989
13. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده: David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
14. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
پدیدآورنده: / Eugenio Moggi, Giuseppe Rosolini(eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
رده :
QA76
,.
6
.
B53
15. Category theory & computer programming:tutorial & workshop,
پدیدآورنده: PITT,DAVID H
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , CATEGORIES )MATHEMATICS(
رده :
QA
76
.
6
.
C387
1985
16. Complexity of Sequential and parallel numerical algorithms [Proceedings]
پدیدآورنده: / Edited by J. F. Traub
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers - Programming,Electronic data processing - Mathematics,Algorithms,Parallel processing (Electronic computers)
رده :
519
.
4
Sy
17. Computational category theory
پدیدآورنده: Rydeheard, David E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Data processing ، Categories )Mathematics(,Programming ، Electronic digital computers
رده :
QA
169
.
R93
1988
18. Computational category theory
پدیدآورنده: David E. Rydeheard, Rod M. Burstall
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Categories (Mathematics)- Data processing,Electronic digital computers- Programming
رده :
QA
،
169
،.
R93
،
1988
